Closed category

Results: 176



#Item
41Monoidal categories / Morphisms / Adjoint functors / Monoid / Epimorphism / Category of abelian groups / Functor / Abelian category / Monad / Category theory / Abstract algebra / Algebra

Theory and Applications of Categories, Vol. 27, No. 10, 2012, pp. 210–221. DESCENT IN MONOIDAL CATEGORIES BACHUKI MESABLISHVILI Abstract. We consider a symmetric monoidal closed category V = (V , ⊗, I, [−, −]) t

Add to Reading List

Source URL: www.emis.de

Language: English - Date: 2012-10-09 13:31:00
42Surveillance / Video / Crime prevention / Public safety / Internet Protocol / Closed-circuit television / Virtual private network / IP camera / Computer security / Security / National security / Computer network security

FSM Group is a New Infotecs Distributor in Finland Date: [removed]:49 PM CET Category: IT, New Media & Software Press release from: Infotecs GmbH Berlin, January, 13th 2015 – Infotecs GmbH, a supplier of secure en

Add to Reading List

Source URL: www.openpr.com

Language: English
43High-definition television / Subtitling / Transcription / Resource / Accessibility / Disk formatting / Design / Computing / System software / Assistive technology / Closed captioning / Deafness

Type of material: Videos Jane-athon category (1-8): _____ Resource Identifier (e.g., Title, etc.): ______________________________________________________

Add to Reading List

Source URL: rballs.info

Language: English - Date: 2015-02-13 09:04:11
44General topology / Order theory / Complete partial order / Cartesian closed category / Domain theory / Open set / Continuous function / Filter / Chu space / Topology / Mathematics / Category theory

Electronic Notes in Theoretical Computer Science 82 No[removed]URL: http://www.elsevier.nl/locate/entcs/volume82.html 11 pages Comonoids in chu: a large cartesian closed sibling of topological spaces Vaughan R. Pratt1

Add to Reading List

Source URL: boole.stanford.edu

Language: English - Date: 2007-02-14 16:32:03
45Category theory / Monoidal categories / Type theory / Limit / Cartesian closed category / Enriched category / Functor / Universal property / Subtype polymorphism / Mathematics / Abstract algebra / Algebra

Functors are Type Refinement Systems Paul-André Melliès Noam Zeilberger CNRS, Université Paris Diderot

Add to Reading List

Source URL: noamz.org

Language: English - Date: 2014-10-31 10:07:15
46Braided monoidal category / Monoid / Coherence condition / Compact closed category / Bicategory / Coherence theorem / Dual / Morphism / Natural transformation / Category theory / Algebra / Monoidal categories

A survey of graphical languages for monoidal categories Peter Selinger Dalhousie University Abstract This article is intended as a reference guide to various notions of monoidal categories and their associated string dia

Add to Reading List

Source URL: www.mathstat.dal.ca

Language: English - Date: 2011-10-06 00:07:41
47Sheaf theory / Adjoint functors / Topos / Functor / Monad / Natural transformation / Sheaf / Limit / Cartesian closed category / Category theory / Abstract algebra / Mathematics

Theory and Applications of Categories, Vol. 5, No. 10, pp. 251–265. ASPECTS OF FRACTIONAL EXPONENT FUNCTORS ANDERS KOCK AND GONZALO E. REYES Transmitted by R.J. Wood

Add to Reading List

Source URL: www.tac.mta.ca

Language: English - Date: 2001-07-30 13:18:07
48Monoidal natural transformation / Closed monoidal category / Braided monoidal category / Traced monoidal category / Compact closed category / Monoid / Sheaf / Functor / Coproduct / Category theory / Monoidal categories / Algebra

Finite Dimensional Vector Spaces are Complete for Traced Symmetric Monoidal Categories Masahito Hasegawa1 , Martin Hofmann2 , and Gordon Plotkin3 1 2

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2007-11-08 11:24:19
49Sheaf theory / Functors / Cartesian closed category / Lambda calculus / Natural transformation / Exponential object / Adjoint functors / Groupoid / Yoneda lemma / Category theory / Abstract algebra / Mathematics

Two-dimensional locally cartesian closed categories

Add to Reading List

Source URL: web.science.mq.edu.au

Language: English - Date: 2008-02-19 05:44:32
50Algebraic structures / Mathematical structures / Mathematical logic / Algebraic theory / Structure / Sheaf / Group theory / Cartesian closed category / Model theory / Mathematics / Algebra / Abstract algebra

Lecture Notes: Introduction to Categorical Logic [DRAFT: January 15, 2003] Steven Awodey

Add to Reading List

Source URL: www.andrew.cmu.edu

Language: English - Date: 2014-07-29 07:19:16
UPDATE